2,963
edits
m (→Yes/No tables: No need for a new section header in the middle) |
m (→Inserting code: Move math section after code section) |
||
Line 62: | Line 62: | ||
== Inserting code == | == Inserting code == | ||
=== Inline code === | === Inline code === | ||
Inline code is used for single primitives and short expressions and uses the format | Inline code is used for single primitives and short expressions and uses the format | ||
Line 180: | Line 153: | ||
</source> | </source> | ||
}}</blockquote> | }}</blockquote> | ||
=== Mathematical notation === | |||
MathJax is enabled, so you can insert mathematical notation (for example for [[Iverson notation]]) inline using | |||
<blockquote><pre> | |||
included the expression <math>\bot p_{32,33}:+/\alpha^2/I^0</math> in its description | |||
</pre></blockquote> | |||
which results in: | |||
<blockquote> | |||
included the expression <math>\bot p_{32,33}:+/\alpha^2/I^0</math> in its description | |||
</blockquote> | |||
For multiple and larger mathematical expressions, use | |||
<blockquote><pre> | |||
included the expression | |||
:<math>i \gets O^{\bot I^0_{0,1,2,3}}_{\bot I^0_{4,5,6,7}}</math> | |||
in its description | |||
</pre></blockquote> | |||
which results in: | |||
<blockquote> | |||
included the expression | |||
:<math>i \gets O^{\bot I^0_{0,1,2,3}}_{\bot I^0_{4,5,6,7}}</math> | |||
in its description | |||
</blockquote> | |||
==== Equivalence ==== | |||
It is quite common to state equivalences. Please use a proper equivalence arrow, which is easy to insert with the template: | |||
<blockquote><pre>this {{←→}} that</pre></blockquote> | |||
which results in: | |||
<blockquote>this {{←→}} that </blockquote> | |||
== Creating new pages == | == Creating new pages == |