First order logic "abbreviation"
60953
How could we formalize the introduction of new notation?
12796
Ending a sentence with an abbreviation
106530
On the usage of "the" article with acronyms and initialisms
148571
Simplify function notation
16993
Can I simplify an expression into form which uses my own definitions?
148677
Acronym or initialism presentation
9968
First-order logic advantage over second-order logic
53564
Does "numeric" abbreviation eg i18n have a name?
16065
Best practice for typesetting quantifiers?
28281
Different standards for writing down logical quantifiers in a formal way
113065
Proving equivalences of statements equivalent to AC
101869
Field Extension Notation
31979
Notation: Why write the differential first?
122922
Capitalization of explanation of abbreviations
138458
Numeric abbreviations in business quotes
5956
How to compile \nomencl in order to have a list of abbreviation?
86248
Is $\exists x(x=a)$ a valid formula in first order logic with equality?