I agree with glauber but would add that the guitar isn't quite double and you will want to stay with light strings. An E with .011 is in the med to heavy range for a mando. 0.009 is extra light, 0.010 is light (and some medium sets start with a 0.010 also). 0.012 is about the heaviest you find for an E. Unless you know your mando will handle it and really have a reason to go heavy, I would stay more on the light side.
I use this string tension calculator to figure out tensions if I really need to.
"First you master your instrument, then you master the music, then you forget about all that ... and just play"
Charlie "Bird" Parker