Line 3,267: |
Line 3,267: |
| <p>Because references to an alphabet of punctuation marks can be difficult to process in the ordinary style of text, it helps to have alternative ways of naming these symbols.</p> | | <p>Because references to an alphabet of punctuation marks can be difficult to process in the ordinary style of text, it helps to have alternative ways of naming these symbols.</p> |
| | | |
− | </li></ol> | + | <p>First, I use raised angle brackets <math>{}^{\langle} \ldots {}^{\rangle},\!</math> or ''supercilia'', as alternate forms of quotation marks.</p> |
| | | |
− | <pre> | + | {| align="center" cellspacing="8" width="90%" |
− | First, I use raised angle brackets (<...>), or "supercilia", as alternate forms of quotation marks.
| + | | <math>\underline{\underline{X}} = \underline{\underline{X}}_\text{MON} = \{ ~ {}^{\langle} ~ {}^{\rangle} ~ , ~ {}^{\langle} , {}^{\rangle} ~ , ~ {}^{\langle} \{ {}^{\rangle} ~ , ~ {}^{\langle} \} {}^{\rangle} ~ \}.\!</math> |
| + | |} |
| | | |
− | X = XMON = { < > , <,> , <{> , <}> }.
| + | <p>Second, I use a collection of conventional names to refer to the symbols.</p> |
| | | |
− | Second, I use a collection of conventional names to refer to the symbols.
| + | {| align="center" cellspacing="8" width="90%" |
| + | | <math>\underline{\underline{X}} = \underline{\underline{X}}_\text{MON} = \{ \text{blank}, \text{comma}, \text{lbrace}, \text{rbrace} \}.\!</math> |
| + | |} |
| | | |
− | X = XMON = { blank, comma, enbow, exbow }.
| + | <p>Although it is possible to present this MON in a way that dispenses with blanks and commas, the more expansive language laid out here turns out to have capacities that are useful beyond this immediate context.</p> |
| | | |
− | Although it is possible to present this MON in a way that dispenses with blanks and commas, the more expansive language laid out here turns out to have capacities that are useful beyond this immediate context.
| + | </li></ol> |
| | | |
| + | <pre> |
| 2. Reflection principles in propositional calculus. Many statements about the order are also statements in the order. Many statements in the order are already statements about the order. | | 2. Reflection principles in propositional calculus. Many statements about the order are also statements in the order. Many statements in the order are already statements about the order. |
| | | |