MOS substitution: Difference between revisions
m →Facts |
|||
| Line 6: | Line 6: | ||
* Function names in sans serif font are scale constructions. | * Function names in sans serif font are scale constructions. | ||
* For integers <math>m, n, \ (m, n) := \gcd(m, n).</math> | * For integers <math>m, n, \ (m, n) := \gcd(m, n).</math> | ||
<!--TODO: notation for substitution of subwords into subwords of template words--> | |||
== Motivation == | == Motivation == | ||