|
|
|
last edited 12 years ago by hemmecke |
| 1 2 3 | ||
|
Editor: hemmecke
Time: 2014/07/02 19:41:33 GMT+0 |
||
| Note: | ||
changed: - \begin{axiom} OF==>OutputForm %pi message("%pi")$OF "%pi" %pii message("%pii")$OF "%pii" message("\")$OF \end{axiom}
(1) -> OF==>OutputForm
%pi
| (1) |
message("%pi")$OF
| (2) |
"%pi"
| (3) |
%pii
| (4) |
message("%pii")$OF
| (5) |
"%pii"
| (6) |
message("\")$OF
| (7) |