Always use the international format
Write the number as + then the country code then the rest: +15550001234. A local-format number works for people already in that country and fails for everyone else, which is exactly the audience a printed code tends to reach: visitors, tourists and anyone roaming. There is no downside to the international form; domestic phones handle it correctly.