Looking at some stories online, it looks like the actual camera lens looks much more normal sized: https://theasc.com/ac_magazine/August2012/DarkKnightRises/im

Looking at some stories online, it looks like the actual camera lens looks much more normal sized: https://theasc.com/ac_magazine/August2012/DarkKnightRises/image3203.html https://theasc.com/ac_magazine/August2012/DarkKnightRises/im... https://www.premiumbeat.com/blog/you-cant-afford-this-expensive-hollywood-camera-gear/ https://www.premiumbeat.com/blog/you-cant-afford-this-expens... https://airandspace.si.edu/collection-objects/lens-100mm-movie-camera-imax/nasm_A20120258004 https://airandspace.si.edu/collection-objects/lens-100mm-mov... Methinks the projection lens is so oddly shaped to function with the curved theater screen, etc. and is not what is used to take the images.