| Line 1: | Line 1: | 
| − | ==Format Samples== | + | ==Format Examples== | 
|  |  |  |  | 
|  | <ul> |  | <ul> | 
| Line 11: | Line 11: | 
|  | </ul> |  | </ul> | 
|  |  |  |  | 
| − | ==Table 13. Algorithmic Translation Rules== | + | ==Font Size Examples== | 
|  |  |  |  | 
| − | <br> | + | {| align="center" cellpadding="10" cellspacing="0" | 
|  | + | | align="left" width="20%" | Medium | 
|  | + | | align="center" style="font-size:medium" | <math>\text{Algorithmic Translation Rules}</math> | 
|  | + | |- | 
|  | + | | Larger | 
|  | + | | align="center" style="font-size:larger" | <math>\text{Algorithmic Translation Rules}</math> | 
|  | + | |- | 
|  | + | | 125% | 
|  | + | | align="center" style="font-size:125%" | <math>\text{Algorithmic Translation Rules}</math> | 
|  | + | |- | 
|  | + | | Large | 
|  | + | | align="center" style="font-size:large" | <math>\text{Algorithmic Translation Rules}</math> | 
|  | + | |- | 
|  | + | | 150% | 
|  | + | | align="center" style="font-size:150%" | <math>\text{Algorithmic Translation Rules}</math> | 
|  | + | |} | 
|  | + |   | 
|  | + | ==Algorithmic Translation Rules== | 
|  | + |   | 
|  | + | ===PNG=== | 
|  | + |   | 
|  | + | {| align="center" ccellpadding="10" cellspacing="0" style="text-align:center" | 
|  | + | | style="height:25px; font-size:large" | <math>\text{Algorithmic Translation Rules}</math> | 
|  | + | |- | 
|  | + | | [[File:Cactus Language Algorithmic Translation Rules.png|600px]] | 
|  | + | |} | 
|  | + |   | 
|  | + | ===LaTeX===  | 
|  |  |  |  | 
|  | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:60%" |  | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:60%" | 
| − | |+ style="height:30px" | <math>\text{Table 13. Algorithmic Translation Rules}</math> | + | |+ style="height:30px; font-size:large" | <math>\text{Algorithmic Translation Rules}</math> | 
|  | |- style="height:40px; background:ghostwhite" |  | |- style="height:40px; background:ghostwhite" | 
|  | | |  | | | 
| Line 50: | Line 77: | 
|  | <br> |  | <br> | 
|  |  |  |  | 
| − | ==Table 14. Semantic Translation • Functional Form== | + | ==Semantic Translation • Functional Form== | 
|  |  |  |  | 
| − | <br>
 | + | ===PNG=== | 
|  | + |   | 
|  | + | ===LaTeX=== | 
|  |  |  |  | 
|  | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:60%" |  | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:60%" | 
| − | |+ style="height:30px" | <math>\text{Table 14. Semantic Translation: Functional Form}</math> | + | |+ style="height:30px; font-size:large" | <math>\text{Semantic Translation}</math> • <math>\text{Functional Form}</math> | 
|  | |- style="height:40px; background:ghostwhite" |  | |- style="height:40px; background:ghostwhite" | 
|  | | |  | | | 
| Line 108: | Line 137: | 
|  | <br> |  | <br> | 
|  |  |  |  | 
| − | ==Table 15. Semantic Translation • Equational Form== | + | ==Semantic Translation • Equational Form== | 
|  | + |   | 
|  | + | ===PNG=== | 
|  |  |  |  | 
| − | <br>
 | + | ===LaTeX=== | 
|  |  |  |  | 
|  | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:60%" |  | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:60%" | 
| − | |+ style="height:30px" | <math>\text{Table 15. Semantic Translation: Equational Form}</math> | + | |+ style="height:30px; font-size:large" | <math>\text{Semantic Translation}</math> • <math>\text{Equational Form}</math> | 
|  | |- style="height:40px; background:ghostwhite" |  | |- style="height:40px; background:ghostwhite" | 
|  | | |  | | | 
| Line 166: | Line 197: | 
|  | <br> |  | <br> | 
|  |  |  |  | 
| − | ==Table 16. Boolean Functions on Zero Variables== | + | ==Boolean Functions on Zero Variables== | 
|  |  |  |  | 
| − | <br>
 | + | ===PNG=== | 
|  | + |   | 
|  | + | ===LaTeX=== | 
|  |  |  |  | 
|  | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:60%" |  | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:60%" | 
| − | |+ style="height:30px" | <math>\text{Table 16. Boolean Functions on Zero Variables}</math> | + | |+ style="height:30px; font-size:large" | <math>\text{Boolean Functions on Zero Variables}</math> | 
|  | |- style="height:40px; background:ghostwhite" |  | |- style="height:40px; background:ghostwhite" | 
|  | | width="14%" | <math>F</math> |  | | width="14%" | <math>F</math> | 
| Line 189: | Line 222: | 
|  | |} |  | |} | 
|  |  |  |  | 
| − | <br>
 | + | ==Boolean Functions on One Variable== | 
|  |  |  |  | 
| − | ==Table 17. Boolean Functions on One Variable== | + | ===PNG=== | 
|  |  |  |  | 
| − | <br>
 | + | ===LaTeX=== | 
|  |  |  |  | 
|  | {| align="center" border="1" cellpadding="6" cellspacing="0" style="text-align:center; width:60%" |  | {| align="center" border="1" cellpadding="6" cellspacing="0" style="text-align:center; width:60%" | 
| − | |+ style="height:30px" | <math>\text{Table 17. Boolean Functions on One Variable}</math> | + | |+ style="height:30px; font-size:large" | <math>\text{Boolean Functions on One Variable}</math> | 
|  | |- style="height:40px; background:ghostwhite" |  | |- style="height:40px; background:ghostwhite" | 
|  | | width="14%" | <math>F</math> |  | | width="14%" | <math>F</math> | 
| Line 236: | Line 269: | 
|  | <br> |  | <br> | 
|  |  |  |  | 
| − | ==Table 18. Boolean Functions on Two Variables== | + | ==Boolean Functions on Two Variables== | 
|  |  |  |  | 
| − | <br>
 | + | ===PNG=== | 
|  | + |   | 
|  | + | ===LaTeX=== | 
|  |  |  |  | 
|  | {| align="center" border="1" cellpadding="4" cellspacing="0" style="text-align:center; width:60%" |  | {| align="center" border="1" cellpadding="4" cellspacing="0" style="text-align:center; width:60%" | 
| − | |+ style="height:30px" | <math>\text{Table 18. Boolean Functions on Two Variables}</math> | + | |+ style="height:30px; font-size:large" | <math>\text{Boolean Functions on Two Variables}</math> | 
|  | |- style="height:40px; background:ghostwhite" |  | |- style="height:40px; background:ghostwhite" | 
|  | | width="14%" | <math>F</math> |  | | width="14%" | <math>F</math> |