added TeXASImport() and TeXASChildren()