**Inheritance:**
java.lang.Object
```
public class TeXExtension
```

Class defining constants to choose a TeX engine extension from.
## Fields

| Field | Description |
| --- | --- |
| [ObjectTeX](#ObjectTeX) | ObjectTeX extensions. |
### ObjectTeX {#ObjectTeX}
```
public static final TeXExtension ObjectTeX
```


ObjectTeX extensions.