=plain =amstex;'';''

---