Red Ruby Wiki
minus(U+2212): −
−
asymp equal(U+2243): ≃
≃
Menu
Skip to content
FrontPage
WikiSandBox
TitleIndex
RecentChanges
UserPreferences
BackLinks of "cut_rule".
Copy:
has NO comma
Hide
Show
사
|
차
사
소거,elimination
차
추론규칙,inference_rule