Sophie
-- -*- M2-comint -*- {* hash: -282724140 *} i1 : isGlobalSymbol "res" o1 = true i2 : isGlobalSymbol "resres" o2 = false i3 :