class Mathtype5::RecordEncodingDef