itarticle ios杂耍之emoji表情 * * Copyright (C) 2010 Apple Inc. All Rights Reserved. * *************************** File: Any_SoftbankSMS.txt Two-way mappings between Unicode 6.0 characters and Softbank PUA characters (used in SMS messages) Unicode 6.0 char or sequence ↔ Softbank PUA char ; # Softbank SJIS char Part 1 BMP Part 2 non-BMP Fallbacks from softbank PUA that were not used since there were standard pre-6.0 Unicodes available Unicode char ← unused Softbank PUA char ; # Softbank SJIS char Fallbacks from other standaqrd Han ideographs to JISX0208 Kanji as in the softbank-sjis table Unicode Han char → fallback Unicode Kanji char ; # Softbank SJIS char Use identity mappings for other softbank PUA, e.g. (ranges shown using | ) uE000 # xF0 x40 uE05B # xF0 x9C | uE0BB # xF0 xFC uE0BC # xF1 x40 | uE100 # xF1 x85 uE15B # xF1 xE0 | uE177 # xF1 xFC uE178 # xF2 x40 | uE200 # xF2 xC9 uE254 # xF3 x60 | uE2EF # xF3 xFC uE2F0 # xF4 x40 | uE300 # xF4 x50 uE34E # xF4 x9F | uE3AB # xF4 xFC uE3AC # xF5 x40 | uE400 # xF5 x95 uE44D # xF5 xE2 | uE467 # xF5 xFC uE468 # xF6 x40 | uE500 # xF6 xD9 uE50A # xFB xAA uE57F # xF7 x9C | uE583 # xF7 xA0 uE5D7 # xF7 xF4 | uE5DF # xF7 xFC uE5E0 # xF8 x40 | uE69B # xF8 xFC uE69C # xF9 x40 uE6F7 # xF9 x9C | uE6FB # xF9 xA0 uE749 # xF9 xEE | uE757 # xF9 xFC 0
itarticle basic computational type theorybasic computational type theory “Axiom” (Theorm) of Choice Natural Numbers mathbb{N} Identity Type Function Extensionality / Principle of Extensionality 0
