Is it Haiti or Haïti?

Haiti in English, Haïti in French. The diaeresis belongs to the French name, where it marks the two syllables of Ha-ïti, and the country's own French-language documents use it. Haitian Creole spells the name Ayiti. For search, index both English and French spellings, since users type whichever language they're writing in.

ASCII 207

Uppercase I with umlautBox T-junction pointing up, double horizontal

ASCII 207 is Ï on Windows and ╧ in old DOS.

Ï (Capital I with Diaeresis) is byte 207 in Windows-1252, Unicode U+00CF. French writes it in capitals like HAÏTI and NAÏF, and Dutch in RUÏNE, in each case to show that the i is pronounced apart from the vowel before it. Its garbled form nearly disappears: UTF-8 stores Ï as C3 8F, 8F has no character in Windows-1252, and HAÏTI shows up as HAÃTI with an invisible byte where the second half should be. The HTML entity is Ï.

╧ (Single Up, Double Horizontal) is byte 207 in code page 437, the original IBM PC character set, and maps to Unicode U+2567. It belongs to tables with a double outer frame and single inner column lines: along the bottom edge ═ (205) runs through, and a single │ (179) comes up into it. The full style uses ╔═╤═╗ on top, ╟─┼─╢ between rows and ╚═╧═╝ at the bottom. Code page 850 put the currency sign ¤ on this byte, so under 850 that bottom edge reads ╚═¤═╝. In UTF-8 it's E2 95 A7, and the HTML entity is &boxHu;.

Latin LetterBox Drawing

Technical Details

Code Example

</>

#include <stdio.h>

int main(void) {
    /* On Windows (code page 1252) byte 207 is Ï.
       Modern terminals expect UTF-8, so print the code point, not the byte. */
    printf("\u00CF\n");   /* UTF-8: C3 8F */

    unsigned char b = 207;         /* the raw Windows-1252 byte */
    printf("%d 0x%02X\n", b, b);    /* 207 0xCF */
    return 0;
}

Code Example

</>

#include <stdio.h>

int main(void) {
    /* Byte 207 is ╧ only on a console using code page 437
       (chcp 437 on Windows, or DOSBox). On a UTF-8 terminal the
       lone byte 0xCF is invalid and prints as garbage, often �. */
    putchar(207);

    /* char is signed on x86, so a plain char holding 0xCF is -49.
       Use unsigned char when you compare or index by byte value. */
    char c = (char)207;
    unsigned char u = 207;
    printf("\n%d %d\n", c, u);   /* -49 207 */

    /* Portable: print the Unicode character as UTF-8 instead. */
    printf("\u2567\n");          /* E2 95 A7 */
    return 0;
}

How to Type It

Windows: Hold Alt and type 0207 on the numeric keypad, with Num Lock on. The leading zero picks the Windows code page. No numeric keypad? In Word, type 00CF and press Alt+X.
Mac: Press Option+Shift+F.
Linux: In GNOME, or any desktop running IBus, press Ctrl+Shift+U, type cf, then Space. With a Compose key set up, press Compose, quote, I.
Phone: Tap Shift, then long-press I and pick Ï.

How to Type It

Windows: Hold Alt and type 207 on the numeric keypad, with no leading zero. US PCs insert ╧, but PCs set to code page 850, common in Western Europe, insert ¤. No numeric keypad? In Word, type 2567 and press Alt+X.
Mac: Press Control+Command+Space to open the Character Viewer, then search for "box drawings up single and horizontal double".
Linux: In GNOME, or any desktop running IBus, press Ctrl+Shift+U, type 2567, then Space.
Phone: Phone keyboards have no key for it. Tap the character at the top of this page to copy it.

Frequently Asked Questions

Haiti in English, Haïti in French. The diaeresis belongs to the French name, where it marks the two syllables of Ha-ïti, and the country's own French-language documents use it. Haitian Creole spells the name Ayiti. For search, index both English and French spellings, since users type whichever language they're writing in.

ASCII 207

Uppercase I with umlautBox T-junction pointing up, double horizontal

ASCII 207 is Ï on Windows and ╧ in old DOS.

Latin Letter

Box Drawing

#include <stdio.h>

int main(void) {

/* On Windows (code page 1252) byte 207 is Ï.

Modern terminals expect UTF-8, so print the code point, not the byte. */

printf("\u00CF\n"); /* UTF-8: C3 8F */

unsigned char b = 207; /* the raw Windows-1252 byte */

printf("%d 0x%02X\n", b, b); /* 207 0xCF */

return 0;

}

#include <stdio.h>

int main(void) {

/* Byte 207 is ╧ only on a console using code page 437

(chcp 437 on Windows, or DOSBox). On a UTF-8 terminal the

lone byte 0xCF is invalid and prints as garbage, often �. */

putchar(207);

/* char is signed on x86, so a plain char holding 0xCF is -49.

Use unsigned char when you compare or index by byte value. */

char c = (char)207;

unsigned char u = 207;

printf("\n%d %d\n", c, u); /* -49 207 */

/* Portable: print the Unicode character as UTF-8 instead. */

printf("\u2567\n"); /* E2 95 A7 */

return 0;

}