Real and Positive Tropicalizations of Symmetric Determinantal Varieties | Synapse