I think the only way to know is to check the runoff when watering and see what PH it gives you.. if it's in an ok range, then just leave it (don't try to compensate), as the damage was done and you don't want to push it the other direction, possibly making it worse.. the marks on the leaves will not recover, but check the new growth to ensure that this is fine moving forward.
If you're in soil, i'd rather err on the higher side, so around 6.3, as 5.7/5.8 is more for hydroponics..
you might want to check out this link too: https://www.mandalaseeds.com/Guides/Water-and-pH