这是可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行的命令 interpformat，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
interpformat - 转换工具 mace4(1) 型号
概要
格式 [选项]改造> -f 输入文件 > 输出文件
格式 [选项]改造> 输入文件 > 输出文件
商品描述
中的模型（结构） mace4(1) 输出文件可以通过多种方式进行转换
该程序 格式.
转型
此处列出了这些转换。
标准
每次操作一行
标准2
标准，在正方形中进行二元运算（默认）
手提
列表列表，适用于Python、GAP等解析。
表格
漂亮的桌子
原 类似于标准，但没有标点符号
熟 作为条款，例如，f(0,1)=2
TEX 格式化为 LaTeX
XML XML
配置
下面是选项的摘要。
产量
只输出列出的 操作.
包装 将输出括在列表中（解释）。
使用 onworks.net 服务在线使用 interpformat