Shortest tex constructors.