Use the general JESS format for reactions or the shortened method for formation reactions (when a species is formed just from its elements).

More powerful database interrogation programs are available when the JESS package is installed locally.