For use in HTML paren tips