Seen as collections of symbol definitions, OMDoc theories are compatible to OpenMath content dictionaries.
Als Sammlungen von Symboldefinitionen betrachtet, sind OMDoc-Theorien zu OpenMath Content Dictionaries kompatibel.