add some nice Prolog / Mercury symbols