Resolution criteria:
This market will resolve to "Yes" if the next pope's official name includes at least one diacritic mark. A diacritic is a glyph added to a letter that alters its pronunciation or distinguishes it from similar letters, such as accents (e.g., é, ñ), tildes, umlauts, or cedillas.
Probably not his birthname, but have to wonder what this is about https://www.elmundo.es/internacional/2025/05/08/681ce6bee85ece752e8b45c6.html
@JussiVilleHeiskanen it's what he would be called according to naming customs of Spanish-speaking countries (given names + father's first surname + mother's first surname), but given he was born in the US to US-born parents that's unlikely to be his legal full name unless their parents (or he himself) went out of their way to make it so