#!/bin/sh
exec "$(dirname "$0")"/tla-tools tla2tex.TLA "$@"