Red Ruby Wiki
minus(U+2212): −
−
asymp equal(U+2243): ≃
≃
Menu
Skip to content
FrontPage
WikiSandBox
TitleIndex
RecentChanges
UserPreferences
BackLinks of "formal_verification".
Copy:
has NO comma
Hide
Show
아
|
하
아
올바름,correctness
하
형식,form