Red Ruby Wiki
minus(U+2212): −
−
asymp equal(U+2243): ≃
≃
Menu
Skip to content
FrontPage
WikiSandBox
TitleIndex
RecentChanges
UserPreferences
BackLinks of "deductive_system".
Copy:
has NO comma
Hide
Show
나
|
사
나
논리학,logic
사
시퀀트,sequent