Lex x be the equal of y

• 设x等于y。