Now that we have a new colorless symbol, will MUD change its name to ))<>((?