Az én magánhagyományom szerint (azaz ahogy én hallottam és használom), az épület neve Aja Szofia, vagyis a törökös forma. Értem én, hogy mi mindenütt a görögös Hagia Szophia alakra javítjuk, mert ez a sztenderd, de akkor nem kellene az előtte álló névelőt is azról ara cserélni?