▁I ▁▁ ▁The ▁Not ation ▁in ▁Princi p ia ▁Mathemat ica — by ▁Bernard ▁Lin sky . ▁ ▁Princi p ia ▁Mathemat ica ▁online ▁( Univers ity ▁of ▁Michigan ▁Historical ▁Math ▁Collection ): ▁ ▁Volume ▁I ▁ ▁Volume ▁II ▁ ▁Volume ▁III ▁ ▁Proposition ▁ <0xE2> <0x9C> <0xB8> 5 4 . 4 3 ▁in ▁a ▁more ▁modern ▁notation ▁( Met am ath ) ▁ ▁Category : Lar ge - scale ▁mathematical ▁formal ization ▁projects ▁Category : Anal yt ic ▁philosophy ▁literature ▁Category : Math emat ical ▁logic ▁Category : Math emat ics ▁books ▁Category : Log ic ▁books ▁Category : Math emat ics ▁literature ▁Category : Book s ▁by ▁Ber tr and ▁Russell ▁Category : Work s ▁by ▁Alfred ▁North ▁White head ▁Category : Math emat ical ▁notation ▁Category : Log ic ▁symbols ▁Princi p ia ▁Mathemat ica <0x0A> </s> ▁Mercur y , ▁also ▁known ▁as ▁Advanced ▁Vor tex , ▁ ▁was ▁a ▁series ▁of ▁three ▁United ▁States ▁sp y ▁sat ell ites ▁launched ▁in ▁the ▁ 1 9 9 0 s . ▁ ▁These ▁sat ell ites ▁were ▁launched ▁and ▁operated ▁by ▁the ▁National ▁Re con na issance ▁Office ▁with ▁the ▁participation ▁of ▁the ▁United ▁States ▁Air ▁Force . ▁ ▁Two ▁of ▁the ▁three ▁launch es ▁from ▁Cape ▁C ana ver al ▁were ▁successful , ▁with ▁the ▁third ▁failing ▁to ▁achieve ▁orbit . ▁ ▁The ▁sat ell ites ▁collect ▁S IG INT ▁from ▁near - ge os ynchronous ▁or bits . ▁ ▁Their ▁precise ▁mission ▁and ▁capabilities ▁are ▁highly ▁class ified ,