Hopefully fixed displaying of carets (<>)