LIB "latex.lib";
// -------- prepare for example ---------
if (defined(TeXaligned)) {int Teali=TeXaligned; kill TeXaligned;}
if (defined(TeXreplace)) {list Terep=TeXreplace; kill TeXreplace;}
// -------- the example starts here ---------
//
string fname = "tldemo";
ring @r1=0,(x,y,z),dp;
if(system("with","Namespaces")) { exportto(Current, @r1); }
else { export @r1; }
→ // ** `@r1` is already global
ring r2=0,(u,v),dp;
map @phi =(@r1,u2,uv -v,v2); export @phi;
→ // ** `@phi` is already global
list TeXreplace;
TeXreplace[1] = list("@phi","\\phi");    // @phi --> \phi
export TeXreplace;
→ // ** `TeXreplace` is already global
texmap("","@phi",@r1,r2);                // standard form
→ $$
→ \begin{array}{rcc}
→ \phi:\Q[x,y,z] & \longrightarrow & \Q[u,v]\\[2mm]
→ \left(x,y,z\right) & \longmapsto & 
→  \left(
→ \begin{array}{c}
→ u^{2}\\
→ uv-v\\
→ v^{2}
→ \end{array}
→ \right)
→ \end{array}
→ $$
//
int TeXaligned; export TeXaligned;       // map in one line
→ // ** `TeXaligned` is already global
texmap("",@phi,@r1,r2);
→ $\Q[x,y,z]\longrightarrow\Q[u,v], \ \left(x,y,z\right)\longmapsto \left(u\
   ^{2},uv-v,v^{2}\right)$
//
kill @r1,TeXreplace,TeXaligned;
//
// --- restore global variables if previously defined ---
if (defined(Teali)) {int TeXaligned=Teali; export TeXaligned; kill Teali;}
if (defined(Terep)) {list TeXreplace=Terep; export TeXreplace; kill Terep;}