The relation <tt>isa</tt> is defined as a shortcut and thus as an equivalent to this relation because it is easier to type. Nevertheless, any source code formatter or pretty printer should should replace any occurrence of the <tt>isa</tt> relation by the <tt>isA</tt> relation due to naming scheme consistency.