now requires stmaryrd as tex package, includes syntax as partial derivation rules for language 1