"Source: Text/System/IO.text";
"Line: 502";
"Date: Thu Sep 25 14:47:43 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/System/IO.text, line: 502
// Example: H3E1 ()
print "Example: H3E1";
ei := GetEchoInput();
SetEchoInput(true);
"Mag" cat "ma";
"Mag cat ma";
"73" * "9" * "42" eq "7" * "3942";
73 * 9 * 42 eq 7 * 3942;
s := ("Mag" cat "ma? ")^2;
s, " "^30, s[4]^12, "!";  
pi := Pi(RealField(1001));
dec1000 := Round(10^1000*(pi-3));
I := IntegerToString(dec1000);
[ Position(I, IntegerToString(i)) : i in [0..9] ];
[ #[i : i in [1..#I] | I[i] eq IntegerToString(j)] : j in [0..9] ];
sc := StringToCode;
its := IntegerToString;
M := its(sc("M")) * its(sc("a")) * its(sc("g")) * its(sc("m")) * its(sc("a"));
M;
M in I;
Position(I, M);
Iseq := [ I[i] : i in [1..#I] ];
Mseq := [ M[i] : i in [1..#M] ];
IsSubsequence(Mseq, Iseq);
IsSubsequence(Mseq, Iseq: Kind := "Sequential");
"Pi" le "magma";
"magma" lt "pi";
SetEchoInput(ei);
