Semantical and syntactical derivation notation
70500
Implies ($\Rightarrow$) vs. Entails ($\models$) vs. Provable ($\vdash$)
60697
Defining functions from expressions of variable lengths
17
First Order Language for vector spaces over fields
104626
Undecidable language problems.
110628
Typesetting linguistic rewrite rule
152195
Could this be proper notation for an antiderivative? Does this notation even exist?
137907
Composing functors with natural transformations
109187
The differences between Lagrange and Leibniz's derivative notations
40184
Notation in partial differentiation
97333
Are there specific rules to build expressions with or without articles?
147556
Express logic puzzles with proposition calculus notation
11169
Semantic meaning of writing functions
54742
Ukkonen's suffix tree algorithm in plain English
102438
Defining scalable "white curly brackets" {| and |} (⦃ and ⦄)
35630
Proof for formal languages
107298
Conjugating symbolic expression
150907
Notation and the name choice for meet and join (in order theory)