User:Inthar/Style guide: Difference between revisions
| Line 37: | Line 37: | ||
* <math>\log</math> with no subscript is base ''e''. | * <math>\log</math> with no subscript is base ''e''. | ||
* Avoid <math>\mathbb{N}.</math> Use <math>\mathbb{Z}_{>0}</math> or <math>\mathbb{Z}_{\ge 0}</math> depending on which is meant. | * Avoid <math>\mathbb{N}.</math> Use <math>\mathbb{Z}_{>0}</math> or <math>\mathbb{Z}_{\ge 0}</math> depending on which is meant. | ||
* <math>s \otimes t</math> denotes the [[cross-set scale|cross-set]] of scales ''s'' and ''t''. | * <math>s \otimes t</math> denotes the [[cross-set scale|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. | ||
* "''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". | ||