∆ symbol for haxiom host