'~~@ && 'p "$~ "$ '~iiiiiiii ' #E~xo~~2 infimum supremumpc #@j %)E~xp~r~ infimum supremumpc %)9  &E~xq~~2 infimum supremumpc & 'E~xr~r~ infimum supremumpc '~/