User:Inthar/Style guide: Difference between revisions

Inthar (talk | contribs)
No edit summary
Inthar (talk | contribs)
Tags: Mobile edit Mobile web edit
 
Line 35: Line 35:
=== Miscellaneous ===
=== Miscellaneous ===
* <math>\log</math> with no subscript is base ''e''.
* <math>\log</math> with no subscript is base ''e''.
* <math>s \otimes t</math> denotes the [[cross-set]] of scales ''s'' and ''t''. <math>s^{\otimes 0} = \{\mathbf{0}\}, s^{\otimes n + 1} = s \otimes s^{\otimes n}</math> is the ''n''-fold iterated cross-set.
* <math>s \ \mathsf{by} \ t</math> denotes the [[cross-set]] of scales ''s'' and ''t''. <math>s^{\mathsf{by} \ 0} = \{\mathbf{0}\}, s^{\mathsf{by} \ n + 1} = s\ \mathsf{by} \ s^{\mathsf{by} \ n}</math> is the ''n''-fold iterated cross-set.
* "''p'', lest ''q''" is shorthand for "''p'', for otherwise ''q'', which is a contradiction".
* "''p'', lest ''q''" is shorthand for "''p'', for otherwise ''q'', which is a contradiction".