I'm with David here. It's "the bar involution," a very hard involution to write the symbol for alone.