writing
curr at [[동치,equivalence?action=highlight&value=논리동치,logical_equivalence]]

WtEn:logical_equivalence