from openmath as om
from openmath.cd import OFFICIALCDBASE

add = om.OMObject(
    om.OMApplication(
        om.OMSymbol("add", "arith1"),
        om.OMInteger(2),
        om.OMInteger(3)
    ),
    cdbase=OFFICIALCDBASE
)