synatx