Sentence examples for this notation is from inspiring English sources

Note that this notation is equivalent to the traditional notation of type inference, where ":" is notated " " and " " is notated " ".

I thought, I still think, this notation is stored somewhere, above us in a sort of mist or secret layer.

end{aligned} (1)This notation is applied througout this article.

This notation is used in the RBM discussion part.

This notation is in accordance with the notation in Sects.

This notation is logical and useful in the note.

(This notation was introduced by Church, but some authors write instead of. See, for example, Section 2 of the entry on type theory).

Though this notation was first outlined in his Begriffsschrift (1879), the most mature statement of Frege's system was in his 2-volume Grundgesetze der Arithmetik (1893/1903).

This notations is convenient to also express test-data independent criteria for preserving the code coverage.

He has since decided that this stark notation isn't such a good idea after all.

This mathematical notation is shorthand for the optimization problem to find the x that minimizes the expression on the right-hand side.