Ί CD Ί X, ~X / Y          Ί >E Ί X, X > Y / Y       Ί R  Ί Repeat Statement   Ί
Ί &I Ί X, Y / X & Y       Ί &E Ί X & Y / X (or Y)   Ί ~E Ί ~~X / X            Ί
Ί vI Ί X (or Y) / X v Y   Ί vE Ί X v Y, ~X / Y      Ί vE Ί X v Y, ~Y / X      Ί
Ί QT Ί Quit               Ί BK Ί Back to Line #     Ί DC Ί X > Y, ~Y / ~X     Ί
Ί ~U Ί ~(x)Fx / (Ex)~Fx   Ί ~X Ί ~(Ex)Fx / (x)~Fx   Ί DC Ί X > ~Y, Y / ~X     Ί
Ί U~ Ί (x)~Fx / ~(Ex)Fx   Ί X~ Ί (Ex)~Fx / ~(x)Fx   Ί DC Ί ~X > Y, ~Y / X     Ί
Ί UE Ί (x)Fx / Fa         Ί EI Ί Fa / (Ex)Fx        Ί ST Ί End AC or πI       Ί
Ί UI Ί Fa / (x)Fx         Ί DM Ί ~(X&Y) χ (~Xv~Y)   Ί DM Ί ~(XvY) χ (~X&~Y)   Ί
Ί W  Ί Y / X > Y          Ί C  Ί (X > Y) χ (~X v Y) Ί C  Ί ~(X > Y) χ (X & ~Y)Ί
Ί CP Ί (X > Y) χ (~Y > ~X)Ί CP Ί (~X > Y) χ (~Y > X)Ί CP Ί (X > ~Y) χ (Y > ~X)Ί
Ί πE Ί X π Y, X / Y       Ί πE Ί X πY, Y / X        Ί πE Ί XπY, XπY / X > Y   Ί
Ί πE Ί XπY, XπY / Y > X   Ί πI Ί X > Y, Y > X / XπY Ί A  Ί Any Assumption     Ί
ΜΝΝΝΝΚΝΝΝΝΛΝΝΝΝΝΝΝΝΝΛΝΝΝΝΝΚΝΝΝΝΞΝΝΝΝΝΝΝΝΛΝΝΝΝΝΝΝΝΝΝΝΞΝΝΝΝΚΝΝΝΝΝΝΝΛΝΝΝΝΝΝΝΝΝΝΝΝΉ
Ί ³X      Ί ³X      Ί ³~X      Ί ³~X    Ί  ³X       Ί  ³X v Y    Ί ³ ³X       Ί
Ί ΓΔ      Ί ΓΔ      Ί ΓΔΔ      Ί ΓΔΔ    Ί  ΓΔ       Ί  ³ ³X      Ί ³ ΓΔ       Ί
Ί ³.      Ί ³.      Ί ³.       Ί ³.     Ί  ³.       Ί  ³ ΓΔ      Ί ³ ³Y       Ί
Ί ³Y      Ί ³.      Ί ³Y       Ί ³.     Ί  ³.       Ί  ³ ³Z      Ί ³      ST  Ί
Ί ³~Y     Ί ³Y&~Y   Ί ³~Y      Ί ³Y&~Y  Ί  ³Y       Ί  ³     ST  Ί ³ ³Y       Ί
Ί ~X   ~I Ί ~X   ~I Ί X    RD  Ί X   RD Ί X > Y  >I Ί  ³ ³Y      Ί ³ ΓΔ       Ί
ΜΝΝΝΝΝΝΝΝΝΚΛΝΝΝΝΝΝΝΝΚΝΛΝΝΝΝΝΝΝΝΚΝΝΝΝΝΝΝΝΚΝΝΝΝΝΝΝΝΝΝΝΉ  ³ ΓΔ      Ί ³ ³X       Ί
Ί ³(Ex)Fx  Ί ³X v Y   ΊΫίίί TELLER SYSTEM RULES ίίίΫΊ  ³ ³Z      Ί ³          Ί
Ί ³ ³Fb    Ί ³X > Z   ΊΫ PRESS ANY KEY TO CONTINUE ΫΊ  ³     ST  Ί ³      ST  Ί
Ί ³ ΓΔΔ    Ί ³Y > Z   ΜΝΝΝΝΝΝΝΝΝΝΝΝΝΝΝΝΝΝΝΝΝΝΝΝΝΝΝΝΝΌ  ³Z    AC  Ί ³XπY   πI  Ί
Ί ³ ³X     Ί ³.       Ί "/" Means Statements on Left Imply Statement on Right Ί
Ί ³X   EE  Ί ³Z    AC Ί "χ" Means Left Implies Right and Right Implies Left   Ί