Any t4 will work. It’s also called levothyroxine. Synthroid is just a common brand.
Personally, I prefer t4, especially as a first attempt. If that doesn’t work there can be other options to try. imo, t3 should be a last resort. In the body, most t3 comes from conversion from t4.