Add notation <>, add Utf8 notations from stdlib