Can $f t_1 t_2 \cdots t_n ~u$ be a valid syntax for a term?
9077
Proof that no term (of a language of predicate logic) is a (non-empty) initial segment of another
76694
Proving that $UT=TU$ iff $U=g(T)$ for some polynomial $g$
146152
Characterising functions $f$ that can be written as $f = g \circ g$?
72570
Notation for repeated application of function
33164
Formal basis for variable substitution in limits
31919
What can we say about the inner product $\langle f(t),f'(t) \rangle$?
155974
Show $||Tx||_2 \leq ||(v_n)||_2 \cdot ||x||_{\infty}$
148954
Understanding a statement about equivalent norms ($||\cdot ||_2 \sim||\cdot||_1 $)
56441
Conventions for function notation
74792
$(X,\tau)$ needs to be $T_1$ in order to guarantee that $A'$ is closed?
97025
Can I get $$...$$ to behave like \[...\]?
41363
when is f@g not the same as f[g]?
89938
Is the Formula Logically Valid?
141286
When is $\mathbf{X}^{T}\mathbf{X}+\lambda\mathbf{I}$ invertible?
14830
A transformation of F[x]
88334
Why is the expression $\underbrace{n\cdot n\cdot \ldots n}_{k \text{ times}}$ bad?
106212
Multiple derivative notation