(  ^  u ^ ) ~ *

( ^ u ^ ) ~ *