• Thumbnail for Pratt & Whitney F100
    upgraded to become equivalent to -220 specifications; the "E" abbreviation from 220E is for "equivalent" and given to engines which have been upgraded as such...
    22 KB (2,609 words) - 18:10, 16 October 2024
  • Thumbnail for Mitsubishi F-15J
    countermeasures set. The F100-PW-220 (IHI-220) was upgraded to the F100-PW-220E (IHI-220E) with a digital engine electronic control retrofit. Differences in appearance...
    34 KB (3,517 words) - 03:41, 30 October 2024
  • Thumbnail for Paul Halmos
    this is generally agreed to be the case. The tombstone symbol ∎ (Unicode U+220E) is sometimes called a halmos. In 1994, Halmos received the Deborah and Franklin...
    18 KB (1,748 words) - 02:31, 7 October 2024
  • Thumbnail for Mathematical proof
    presentation. Unicode explicitly provides the "end of proof" character, U+220E (∎) (220E(hex) = 8718(dec)). Philosophy portal Mathematics portal Automated theorem...
    38 KB (4,778 words) - 08:10, 24 September 2024