&'MIFwrite_open(FILEHANDLE, $token, $indent); 
       MIFwrite_open outputs the MIF to FILEHANDLE that opens $token with a 
       character indent of $indent. Example: 
&'MIFwrite_open(STDOUT, `Pgf', 5); 
<Pgf
&'MIFwrite_close(FILEHANDLE, $indent); 
       MIFwrite_close outputs the MIF to FILEHANDLE that closes an open token 
       with a character indent of $indent. Example:
&'MIFwrite_close(STDOUT, 5); 
>
&'MIFwrite_statement(FILEHANDLE, $token, $data, $indent); 
       MIFwrite_statement writes the MIF statement with token $token and data 
       $data. $indent specifies the character indent of the statement. Example:
&'MIFwrite_statement(STDOUT, 'Char', 'HardSpace', 4); 
<Char HardSpace>
&'MIFwrite_str_statement(FILEHANDLE, $token, $data, 
       $indent); 
       MIFwrite_str_statement writes the MIF string statement with token $token 
       and string data $data. $indent specifies the character indent of the statement. 
       Example:
&'MIFwrite_str_statement(STDOUT, 'Paraline', 'Hello World!', 4); 
<Paraline `Hello World!'>
MIFwrite_str_statement adds the MIF string delimiters for you, so there is no 
       need to add them yourself to $data. MIFwrite_str_statement assumes that 
       $data is a valid MIF string. See MIFescape_string about converting a string to a 
       valid MIF string.
&'MIFescape_string(*str); 
       MIFescape_string escapes certain characters in *str to convert *str to a 
       valid MIF string. The following characters are converted:
\' --> '\\' 
 ' 
>' --> '\>'
'' --> '\q'
`' --> '\Q'
MIFescape_string.
       As you can see, MIFescape_string is not really a write routine. The routine 
       itself does not warrent its own page, and it is normally used in conjunction with 
       MIFwrite_str_statment.