grapes-equals-twiddle-grapes: Congruence, shown as x =~ y

%=~%R Documentation

Congruence, shown as x =~ y

Description

Congruence, shown as x =~ y

Usage

x %=~% y

Arguments

x

first argument

y

second argument

Value

x == y, e.g., a cong b


mathml documentation built on June 8, 2025, 11:12 a.m.