pull down to refresh

Thanks. ... seems to mean the same as .. in Bash, e.g.
for i in {1..5}; do echo "$i"; done