namespace http://www.openmath.org/cd

theory OpenMath =
  Object
  mapsto
  naryObject
  binder
  OMI
  // the lexing and checking rule for integer literals, e.g., 1 ❙
  // rule info.kwarc.mmt.api.objects?OMI❙
  OMF
  // the lexing and checking rule for floating point literals ❙
  // rule info.kwarc.mmt.api.objects?OMF❙
  OMSTR
  // the lexing and checking rule for string literals, e.g., "1" ❙
  // rule info.kwarc.mmt.api.objects?OMSTR❙